signature ASMPROVER_STRUCTS =
sig
    structure Asm  : ASSEM
end

signature ASMPROVER =
sig
  include ASMPROVER_STRUCTS

  val top : (Asm.pprf list * Asm.ginf) -> unit

end
